[MINI-OS] Add a function mapping grant table error codes to strings.

Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>

diff --git a/extras/mini-os/gnttab.c b/extras/mini-os/gnttab.c
index a405e0c07247fa5273d6630f4d9e6033fa394180..7f9f0096f19c568a7566df5a168cabdc39e8b91f 100644 (file)
--- a/extras/mini-os/gnttab.c
+++ b/extras/mini-os/gnttab.c
@@ -137,6 +137,18 @@ gnttab_alloc_and_grant(void **map)
     return gref;
 }
 
+static const char *gnttabop_error_msgs[] = GNTTABOP_error_msgs;
+
+const char *
+gnttabop_error(int16_t status)
+{
+    status = -status;
+    if (status < 0 || status >= ARRAY_SIZE(gnttabop_error_msgs))
+       return "bad status";
+    else
+        return gnttabop_error_msgs[status];
+}
+
 void
 init_gnttab(void)
 {

diff --git a/extras/mini-os/include/gnttab.h b/extras/mini-os/include/gnttab.h
index 65a02aa85ff12291b87340070eceb07036962378..f9524429550c076cf081b1564e63c8228560bb40 100644 (file)
--- a/extras/mini-os/include/gnttab.h
+++ b/extras/mini-os/include/gnttab.h
@@ -10,5 +10,6 @@ grant_ref_t gnttab_grant_access(domid_t domid, unsigned long frame,
 grant_ref_t gnttab_grant_transfer(domid_t domid, unsigned long pfn);
 unsigned long gnttab_end_transfer(grant_ref_t gref);
 int gnttab_end_access(grant_ref_t ref);
+const char *gnttabop_error(int16_t status);
 
 #endif /* !__GNTTAB_H__ */